Techniques and Tools for Kab, to Manage Action Linkage with Artifact Layer -iteration 2 Project Acronym Acsi Project Title Artifact-centric Service Interoperation Project Number 257593 Workpackage Wp2 – Formal Based Techniques and Tools Lead Beneficiary Fub Editor(s)

This document reports on the activities related to Task 2.4: Techniques and Tools for KAB, to Manage Action Linkage with Artifact Layer, which is part of Workpackage 2 within the ACSI project. In particular, it describes the results of the second iteration of Task T2.4. The main goal of this activity is to tackle the key issues for actually realizing the Knowledge and Action Base (KAB), by marrying the descriptions of the static and the dynamic aspects of the domain of interest. We start from the logic-based frameworks and the decidability results for KAB verification achieved during the first iteration, and link them to concrete languages, techniques and settings. We apply the discussed technique to the ACSI Energy use case, showing the benefits of adding a Semantic Layer on top of the GSM-based artifacts used to handle energy control points and the corresponding monthly reports. c © Deliverable D2.4.2 – Techniques and Tools for KAB, Action Linkage Iter. 2 – v1.3 Page 2 of 94 FP7-257593 – ACSI Artifact-Centric Service Interoperation